open ProofAssembler.Proof
open Population


val make_proof_visual : GP.ecosystem -> (int * proof) -> unit
